منابع مشابه
Confluent Hasse Diagrams
We show that a transitively reduced digraph has a confluent upward drawing if and only if its reachability relation has order dimension at most two. In this case, we construct a confluent upward drawing with O(n2) features, in an O(n)×O(n) grid in O(n2) time. For the digraphs representing series-parallel partial orders we show how to construct a drawing with O(n) features in an O(n)×O(n) grid i...
متن کاملCarter–Penrose diagrams and differential spaces
In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.
متن کاملSynthesizing Petri Nets from Hasse Diagrams
Synthesis aims at producing a process model from specified sample executions. A user can specify a set of executions of a system in a specification language that is much simpler than a process modeling language. The intended process model is then constructed automatically. Synthesis algorithms have been extensively explored for cases where the specification language is a reachability graph or a...
متن کاملFolded Hasse diagrams of combined traces
To represent concurrent behaviours one can use concepts originating from language theory, including traces and comtraces. Traces can express notions such as concurrency and causality, whereas comtraces can also capture weak causality and simultaneity. This paper is concerned with the development of efficient data structures and algorithms for manipulating comtraces. We introduce and investigate...
متن کاملGeneralised Hasse Varieties and Their Jet Spaces
Building on the abstract notion of prolongation developed in [7], the theory of iterative Hasse rings and schemes is introduced, simultaneously generalising difference and (Hasse-)differential rings and schemes. This work provides a unified formalism for studying difference and differential algebraic geometry, as well as other related geometries. As an application, Hasse jet spaces are construc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2011
ISSN: 0166-8641
DOI: 10.1016/j.topol.2010.12.010